action algebra
Dynamic logic
(modal logic)
Kleene star
Regular expression
https://en.wikipedia.org/wiki/Action_algebra